0cd678f74bf6b298b5adde0a08ec6abb2fe2a257,core/kernel/source/jetbrains/mps/smodel/SModelRepository.java,SModelRepository,getModelsToSave,#,290
Before Change
for (SModelDescriptor md : myModelsWithOwners.keySet()) {
if (md instanceof EditableSModelDescriptor) {
EditableSModelDescriptor emd = ((EditableSModelDescriptor) md);
if (emd.isChanged()) {
modelsToSave.add(emd);
}
}
After Change
if (md instanceof EditableSModelDescriptor) {
EditableSModelDescriptor emd = ((EditableSModelDescriptor) md);
// HOTFIX MPS-13326
if (emd.isChanged() && !emd.isPackaged()) {
modelsToSave.add(emd);
}
}